From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 13 Feb 2015 19:52:11 +0000 (+0100)
Subject: panelMenu: Consider vertical margins when computing max-height
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1858
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=7bb7734869c097b2089c831714d1c65884481d19;p=gnome-shell.git

panelMenu: Consider vertical margins when computing max-height

When opening a panel menu, we set it's max-height to the available
work-area height to keep menus with scrollable content from growing
outside the monitor. However a menu that extends all the way down
to the bottom edge does not look great either, so also take margins
into account here.

https://bugzilla.gnome.org/show_bug.cgi?id=744498
---

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 09b692ac5..072f18bcf 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -715,6 +715,7 @@ StScrollBar StButton#vhandle:active {
 
 .panel-menu {
     -boxpointer-gap: 4px;
+    margin-bottom: 1.75em;
 }
 
 .panel-status-indicators-box,
diff --git a/js/ui/panelMenu.js b/js/ui/panelMenu.js
index 29acd29b4..092ca233a 100644
--- a/js/ui/panelMenu.js
+++ b/js/ui/panelMenu.js
@@ -173,7 +173,8 @@ const Button = new Lang.Class({
         // menu is higher then the screen; it's useful if part of the menu is
         // scrollable so the minimum height is smaller than the natural height
         let workArea = Main.layoutManager.getWorkAreaForMonitor(Main.layoutManager.primaryIndex);
-        this.menu.actor.style = ('max-height: ' + Math.round(workArea.height) + 'px;');
+        let verticalMargins = this.menu.actor.margin_top + this.menu.actor.margin_bottom;
+        this.menu.actor.style = ('max-height: ' + Math.round(workArea.height - verticalMargins) + 'px;');
     },
 
     destroy: function() {